Higher-order port-graph rewriting
نویسندگان
چکیده
The biologically inspired framework of port-graphs has been successfully used to specify complex systems. It is the basis of the PORGY modelling tool. To facilitate the specification of proof normalisation procedures via graph rewriting, in this paper we add higher-order features to the original port-graph syntax, along with a generalised notion of graph morphism. We provide a matching algorithm which enables to implement higher-order port-graph rewriting in PORGY, thus one can visually study the dynamics of the systems modelled. We illustrate the expressive power of higher-order portgraphs with examples taken from proof-net reduction systems.
منابع مشابه
A Higher-Order Graph Calculus for Autonomic Computing
In this paper, we present a high-level formalism based on port graph rewriting, strategic rewriting, and rewriting calculus. We argue that this formalism is suitable for modeling autonomic systems and briefly illustrate its expressivity for modeling properties of such systems.
متن کاملAttributed Hierarchical Port Graphs and Applications
We present attributed hierarchical port graphs (AHP) as an extension of port graphs that aims at facilitating the design of modular port graph models for complex systems. AHP consist of a number of interconnected layers, where each layer defines a port graph whose nodes may link to layers further down the hierarchy; attributes are used to store user-defined data as well as visualisation and run...
متن کاملStrategic Port Graph Rewriting for Autonomic Computing
In this paper, we present a high-level formalism based on port graph rewriting, strategic rewriting, and rewriting calculus. We show that this formalism is suitable for modeling autonomic systems and we illustrate its expressivity for modeling properties of such systems using an example of a mail delivery system.
متن کاملStrategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework
We present strategic port graph rewriting as a basis for the implementation of visual modelling and analysis tools. The goal is to facilitate the specification, analysis and simulation of complex systems, using port graphs. A system is represented by an initial graph and a collection of graph rewriting rules, together with a user-defined strategy to control the application of rules. The strateg...
متن کاملGraph Models for Capital Markets
The financial crisis of 2008 has heightened the need for more effective and transparent tools in the modelling of capital markets. In this paper we propose to use strategic port-graph rewriting (a particular kind of graph transformation system, where port-graph rewriting rules are controlled by user-defined strategies) as a visual modelling tool to analyse credit derivative markets. We illustra...
متن کامل